Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
161	Scala By Example June 11, 2014 Martin Odersky Add to Reading List Source URL: scala-lang.org Language: English - Date: 2014-06-10 20:00:38 Software engineering Computer programming Computing Subroutines Object-oriented programming languages Functional languages Functional programming Higher-order functions Scala Anonymous function Nested function Iterator
162	Microsoft PowerPoint - Lect07methodology4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-29 10:47:41 Software engineering Computer programming Mathematics Subroutines Recursion Functional programming Analytic functions Elementary algebra Nth root Sine Scheme Square root
163	Scientific school at Porticcio Scientific committee Workshops, presentations and hands-on training on Modelica, FMI-based co-simulation, and BIM to Modelica translations Organized by IBPSA France and IEA EBC Annex 60 Add to Reading List Source URL: www.ibpsa.fr Language: English - Date: 2016-07-01 05:18:41 Real estate Software Object-oriented programming Architecture Building engineering Simulation software Modelica Energy conservation Functional Mock-up Interface International Building Performance Simulation Association Building information modeling
164	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 20:03:37 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Lisp Cross-platform software String Racket Scheme Anonymous function Here document
165	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
166	PDF Document Add to Reading List Source URL: www.amway.com Language: English - Date: 2016-03-09 07:18:09 Computer programming Software engineering Functional programming Monad
167	Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:59 Software engineering Computer programming Computing Functional languages Data types Functional programming Subroutines Procedural programming languages Eval Standard ML Const Continuation-passing style
168	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
169	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
170	A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Programming paradigms Computing Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Logic programming Functional programming Algorithm Programming language Evaluation

UPDATE